Unit Fraction
   HOME

TheInfoList



OR:

A unit fraction is a
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
written as a
fraction A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight ...
where the
numerator A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight ...
is one and the
denominator A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight ...
is a positive
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
. A unit fraction is therefore the
reciprocal Reciprocal may refer to: In mathematics * Multiplicative inverse, in mathematics, the number 1/''x'', which multiplied by ''x'' gives the product 1, also known as a ''reciprocal'' * Reciprocal polynomial, a polynomial obtained from another pol ...
of a positive integer, 1/''n''. Examples are 1/1, 1/2, 1/3, 1/4, 1/5, etc.


Arithmetic


Elementary arithmetic

Multiplying any two unit fractions results in a product that is another unit fraction: \frac1x \times \frac1y = \frac1. However, adding, subtracting, or dividing two unit fractions produces a result that is generally not a unit fraction: \frac1x + \frac1y = \frac \frac1x - \frac1y = \frac \frac1x \div \frac1y = \frac.


Modular arithmetic

In
modular arithmetic In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his book ...
, unit fractions can often be converted into equivalent integers using a calculation based on
greatest common divisor In mathematics, the greatest common divisor (GCD) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers. For two integers ''x'', ''y'', the greatest common divisor of ''x'' and ''y'' is ...
s. In turn, this conversion can be used to simplify division operations in modular arithmetic, by transforming them into equivalent multiplication operations. Specifically, consider the problem of dividing by a value x modulo y. In order for this division to be well defined, x and y must be
relatively prime In mathematics, two integers and are coprime, relatively prime or mutually prime if the only positive integer that is a divisor of both of them is 1. Consequently, any prime number that divides does not divide , and vice versa. This is equivale ...
. When they are, the
extended Euclidean algorithm In arithmetic and computer programming, the extended Euclidean algorithm is an extension to the Euclidean algorithm, and computes, in addition to the greatest common divisor (gcd) of integers ''a'' and ''b'', also the coefficients of Bézout's ide ...
for the greatest common divisor can be used to find integers a and b such that
Bézout's identity In mathematics, Bézout's identity (also called Bézout's lemma), named after Étienne Bézout, is the following theorem: Here the greatest common divisor of and is taken to be . The integers and are called Bézout coefficients for ; they ...
is satisfied: \displaystyle ax + by = \gcd(x,y)=1. In modulo-y arithmetic, the term by can be eliminated as it is zero modulo y. This leaves \displaystyle ax \equiv 1 \pmod y. That is, a is the modular inverse of x, the number that when multiplied by x produces one. Equivalently, a \equiv \frac1x \pmod y. Thus division by x (modulo y) can instead be performed by multiplying by the integer a.


Combinations


Finite sums

Any positive rational number can be written as the sum of unit fractions, in multiple ways. For example, :\frac45=\frac12+\frac14+\frac1=\frac13+\frac15+\frac16+\frac1. The ancient Egyptian civilisations used sums of distinct unit fractions in their notation for more general
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s, and so such sums are often called
Egyptian fractions An Egyptian fraction is a finite sum of distinct unit fractions, such as \frac+\frac+\frac. That is, each fraction in the expression has a numerator equal to 1 and a denominator that is a positive integer, and all the denominators differ from eac ...
. There is still interest today in analyzing the methods used by the ancients to choose among the possible representations for a fractional number, and to calculate with such representations. The topic of Egyptian fractions has also seen interest in modern
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
; for instance, the Erdős–Graham conjecture and the
Erdős–Straus conjecture The Erdős–Straus conjecture is an unproven statement in number theory. The conjecture is that, for every integer n that is 2 or more, there exist positive integers x, y, and z for which \frac=\frac+\frac+\frac. In other words, the number 4/n ...
concern sums of unit fractions, as does the definition of
Ore's harmonic number In mathematics, a harmonic divisor number, or Ore number (named after Øystein Ore who defined it in 1948), is a positive integer whose divisors have a harmonic mean that is an integer. The first few harmonic divisor numbers are: : 1, 6, 2 ...
s. In
geometric group theory Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such group (mathematics), groups and topology, topological and geometry, geometric pro ...
,
triangle group In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle ...
s are classified into Euclidean, spherical, and hyperbolic cases according to whether an associated sum of unit fractions is equal to one, greater than one, or less than one respectively.


Infinite series

Many well-known
infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
have terms that are unit fractions. These include: * The harmonic series, the sum of all positive unit fractions. This sum diverges, and its partial sums \frac11 + \frac12 + \frac13 + \cdots + \frac1n closely approximate the
natural logarithm The natural logarithm of a number is its logarithm to the base of the mathematical constant , which is an irrational and transcendental number approximately equal to . The natural logarithm of is generally written as , , or sometimes, if ...
of n plus the
Euler–Mascheroni constant Euler's constant (sometimes also called the Euler–Mascheroni constant) is a mathematical constant usually denoted by the lowercase Greek letter gamma (). It is defined as the limiting difference between the harmonic series and the natural l ...
. Changing every other addition to a subtraction produces the alternating harmonic series, which sums to the
natural logarithm of 2 The decimal value of the natural logarithm of 2 is approximately :\ln 2 \approx 0.693\,147\,180\,559\,945\,309\,417\,232\,121\,458. The logarithm of 2 in other bases is obtained with the formula :\log_b 2 = \frac. The common logarithm in particu ...
: \sum_^\infty \frac = 1 - \frac + \frac - \frac + \frac - \cdots = \ln 2. * The
Leibniz formula for π In mathematics, the Leibniz formula for , named after Gottfried Leibniz, states that 1-\frac+\frac-\frac+\frac-\cdots=\frac, an alternating series. It is also called the Madhava–Leibniz series as it is a special case of a more general serie ...
is 1 - \frac + \frac - \frac + \frac - \cdots = \frac. * The
Basel problem The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 ...
concerns the sum of the square unit fractions: 1 + \frac14 + \frac19 + \frac1 + \cdots = \frac. Similarly,
Apéry's constant In mathematics, Apéry's constant is the sum of the reciprocals of the positive cubes. That is, it is defined as the number : \begin \zeta(3) &= \sum_^\infty \frac \\ &= \lim_ \left(\frac + \frac + \cdots + \frac\right), \end ...
is an
irrational number In mathematics, the irrational numbers (from in- prefix assimilated to ir- (negative prefix, privative) + rational) are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integ ...
, the sum of the cubed unit fractions. * The binary
geometric series In mathematics, a geometric series is the sum of an infinite number of terms that have a constant ratio between successive terms. For example, the series :\frac \,+\, \frac \,+\, \frac \,+\, \frac \,+\, \cdots is geometric, because each succ ...
is 1 + \frac12 + \frac14 + \frac18 + \frac1 + \cdots = 2.


Matrices

The
Hilbert matrix In linear algebra, a Hilbert matrix, introduced by , is a square matrix with entries being the unit fractions : H_ = \frac. For example, this is the 5 × 5 Hilbert matrix: : H = \begin 1 & \frac & \frac & \frac & \frac \\ \frac & \frac & \f ...
is the matrix with elements :B_ = \frac1. It has the unusual property that all elements in its
inverse matrix In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that :\mathbf = \mathbf = \mathbf_n \ where denotes the -by- identity matrix and the multiplicati ...
are integers. Similarly, defined a matrix with elements :C_ = \frac1, where ''F''i denotes the ''i''th
Fibonacci number In mathematics, the Fibonacci numbers, commonly denoted , form a sequence, the Fibonacci sequence, in which each number is the sum of the two preceding ones. The sequence commonly starts from 0 and 1, although some authors start the sequence from ...
. He calls this matrix the Filbert matrix and it has the same property of having an integer inverse.


Adjacency and Ford circles

Two fractions a/b and c/d (in lowest terms) are called adjacent if ad-bc=\pm1, which implies that their difference , ad-bc, /bd is a unit fraction. For instance, \tfrac12 and \tfrac35 are adjacent: 1\cdot 5-2\cdot 3=-1 and \tfrac35-\tfrac12=\tfrac1. However, some pairs of fractions whose difference is a unit fraction are not adjacent in this sense: for instance, \tfrac13 and \tfrac23 differ by a unit fraction, but are not adjacent, because for them ad-bc=3. The terminology comes from the study of
Ford circle In mathematics, a Ford circle is a circle with center at (p/q,1/(2q^2)) and radius 1/(2q^2), where p/q is an irreducible fraction, i.e. p and q are coprime integers. Each Ford circle is tangent to the horizontal axis y=0, and any two Ford circles ...
s, circles that are tangent to the
number line In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a poi ...
at a given fraction and have the squared denominator of the fraction as their diameter: fractions a/b and c/d are adjacent if and only if their Ford circles are
tangent circles In geometry, tangent circles (also known as kissing circles) are circles in a common plane that intersect in a single point. There are two types of tangency: internal and external. Many problems and constructions in geometry are related to tange ...
.


Applications


In probability and statistics

In a uniform distribution on a discrete space, all probabilities are equal unit fractions. Due to the
principle of indifference The principle of indifference (also called principle of insufficient reason) is a rule for assigning epistemic probabilities. The principle of indifference states that in the absence of any relevant evidence, agents should distribute their cre ...
, probabilities of this form arise frequently in statistical calculations. Additionally, Zipf's law states that, for many observed phenomena involving the selection of items from an ordered sequence, the probability that the ''n''th item is selected is proportional to the unit fraction 1/''n''.


In physics

The energy levels of
photon A photon () is an elementary particle that is a quantum of the electromagnetic field, including electromagnetic radiation such as light and radio waves, and the force carrier for the electromagnetic force. Photons are massless, so they always ...
s that can be absorbed or emitted by a hydrogen atom are, according to the
Rydberg formula In atomic physics, the Rydberg formula calculates the wavelengths of a spectral line in many chemical elements. The formula was primarily presented as a generalization of the Balmer series for all atomic electron transitions of hydrogen. It wa ...
, proportional to the differences of two unit fractions. An explanation for this phenomenon is provided by the
Bohr model In atomic physics, the Bohr model or Rutherford–Bohr model, presented by Niels Bohr and Ernest Rutherford in 1913, is a system consisting of a small, dense nucleus surrounded by orbiting electrons—similar to the structure of the Solar Syst ...
, according to which the energy levels of
electron orbitals An electron orbital may refer to: * An atomic orbital, describing the behaviour of an electron in an atom * A molecular orbital, describing the behaviour of an electron in a molecule See also * Electron configuration, the arrangement of electr ...
in a
hydrogen atom A hydrogen atom is an atom of the chemical element hydrogen. The electrically neutral atom contains a single positively charged proton and a single negatively charged electron bound to the nucleus by the Coulomb force. Atomic hydrogen consti ...
are inversely proportional to square unit fractions, and the energy of a photon is quantized to the difference between two levels.
Arthur Eddington Sir Arthur Stanley Eddington (28 December 1882 – 22 November 1944) was an English astronomer, physicist, and mathematician. He was also a philosopher of science and a populariser of science. The Eddington limit, the natural limit to the lumin ...
argued that the
fine-structure constant In physics, the fine-structure constant, also known as the Sommerfeld constant, commonly denoted by (the Greek letter ''alpha''), is a fundamental physical constant which quantifies the strength of the electromagnetic interaction between ele ...
was a unit fraction, first 1/136 then 1/137. This contention has been falsified, given that current estimates of the fine structure constant are (to 6 significant digits) 1/137.036..


See also

*
Submultiple In mathematics, a multiple is the product of any quantity and an integer. In other words, for the quantities ''a'' and ''b'', it can be said that ''b'' is a multiple of ''a'' if ''b'' = ''na'' for some integer ''n'', which is called the multiplie ...


References


External links

* {{Fractions and ratios Fractions (mathematics) 1 (number) Elementary arithmetic Integers